English contract programming: перевод на другие языки